SSEAC Workshop on Voting and Allocation Systems

8-9 June 2010
Åland, Finland




Program


Thuesday, June 8


07:45    Hotel guest pick-up from Marina Palace

08:45    Viking Line sails from Turku Harbour

08:50    Opening: Hannu Nurmi





Workshop session I: (Agnieszka Rusinowska)


09:00    José Luis García-Lapresta: Choosing self-selective majorities based on difference of support (with Ashley Piggins).

09:45    Rudolf Berghammer: Combining relation algebra and RelView in formal algorithm development.


10:30    Coffee


10:45    Harrie de Swart: Applications of the RelVieW-tool to simple games (with Rudolf Berghammer and Agnieszka Rusinowska).

11:30    Stefan Bolus: Simple games, voting power and binary decision diagrams.


12:15    Lunch


14:10    The boat calls at Mariehamn, disembarkation

14:15    Transport by bus to Hotel Arkipelag



Workshop session II: (José Luis García-Lapresta)


15:45     Donald Saari: Voting rules that encourage coalition formation.


16:30    Coffee


16:45    Edurne Falcó: Allocation of tenders through finite scales. A distance- based approach (with José Luis García-Lapresta).

17:30    Kari Saukkonen: On the continuity axiom of social grading function.


19:45    Transport by bus from Hotel Arkipelag

20:00    Dinner at ÅSS




Wednesday, June 9



Workshop session III: (Harrie de Swart)


09:00    Michel Grabisch: A Markovian approach to cooperation (with Ulrich Faigle).

09:45    Agnieszka Rusinowska: Measuring influence among players with a continuum of actions (with Michel Grabisch).


10:30    Coffee


10:45    Manzoor Zahid: Borda majority count (with Harrie de Swart).

11:30    Juha Helin: Electoral threshold proposition for the new Finnish system.


12:15    Lunch at Arkipelag


13:45    By bus to the Mariehamn boat terminal, embarkation

14:25    Viking Line boat sails from Mariehamn



Workshop session IV: (Rudolf Berghammer)


15:00    Andranik Tangian: How dictatorial are Arrow’s dictators?

15:45    Antti Pajala: Voting power computation. A power index program routine and memory analysis.


16:30    Coffee


16:45    Discussion


17:30    Dinner

19:50    Arrival to Turku harbour